Tree model

Results: 571



#Item
551Temporal logic / Logic in computer science / Formal methods / Formal sciences / Model checking / Linear temporal logic / Computation tree logic / Formal verification / CTL* / Mathematical logic / Logic / Theoretical computer science

PDF Document

Add to Reading List

Source URL: www.model.in.tum.de

Language: English - Date: 2008-03-27 10:41:08
552Options / Economics / Binomial options pricing model / Black–Scholes / Trinomial tree / Normal distribution / Asian option / Risk-neutral measure / Log-normal distribution / Financial economics / Mathematical finance / Finance

PDF Document

Add to Reading List

Source URL: www.math.ust.hk

Language: English - Date: 2006-09-06 21:50:16
553Mathematics / Linear temporal logic / Model checking / Kripke semantics / LTL / Model theory / CTL* / Computation tree logic / Logic / Mathematical logic / Temporal logic

PDF Document

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-03-13 07:54:14
554Mathematical logic / Logic in computer science / Metalogic / CTL* / Computation tree logic / Model theory / Linear temporal logic / Well-formed formula / Kripke semantics / Logic / Temporal logic / Mathematics

PDF Document

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-03-21 04:39:41
555Mathematics / Computing / Data compression / Context tree weighting / Lossless data compression / Theoretical computer science / Suffix tree / Hidden Markov model / Pattern recognition / Bioinformatics / Formal sciences / Science

PDF Document

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2009-08-06 19:19:52
556Economics / Employee stock option / Hedge / Binomial options pricing model / Trinomial tree / Vesting / Black–Scholes / Barrier option / Corporate finance / Options / Financial economics / Finance

PDF Document

Add to Reading List

Source URL: www.iassa.co.za

Language: English - Date: 2011-03-13 05:49:54
557Bayesian statistics / Data mining / Geostatistics / Marginal likelihood / Hierarchical clustering / Mixture model / Binary tree / Rose Tree / Statistics / Machine learning / Cluster analysis

PDF Document

Add to Reading List

Source URL: www.gatsby.ucl.ac.uk

Language: English - Date: 2010-06-29 21:45:27
558Analysis of algorithms / 3D computer graphics / Time complexity / Worst-case complexity / Ray tracing / Decision tree model / Computational geometry / Point location / Rendering / Theoretical computer science / Applied mathematics / Computational complexity theory

PDF Document

Add to Reading List

Source URL: www.fsz.bme.hu

Language: English - Date: 2000-03-01 04:09:40
559Decision tree model / Randomized algorithm / NP / PP / P versus NP problem / Certificate / Aanderaa–Karp–Rosenberg conjecture / Communication complexity / Theoretical computer science / Applied mathematics / Computational complexity theory

PDF Document

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2007-01-08 22:02:22
560Econometrics / Decision trees / Ensemble learning / Logistic model tree / Decision tree learning / Logistic regression / Supervised learning / LogitBoost / Linear regression / Statistics / Machine learning / Regression analysis

PDF Document

Add to Reading List

Source URL: www.cs.waikato.ac.nz

Language: English - Date: 2009-10-15 22:35:04
UPDATE